package edu.caece.automaton;

public interface PushDownTransition extends Transition {
	
	public char getStackPullSymbol();
	
	public char getStackPushSymbol();
	
}
